Inductive logic programming - PDFSEARCH.IO - Document Search Engine

Inductive logic programming
Results: 65

#	Item
41	QuickFOIL: Scalable Inductive Logic Programming Qiang Zeng Jignesh M. Patel David Page Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:18 Propositional calculus Predicate logic Logic in computer science Logic programming Relational model Relational algebra Horn clause Literal Finitary relation Logic Mathematical logic Mathematics
42	In Proceedings of the 19th International Conference on Inductive Logic Programming (ILP-09), Leuven, Belgium, July[removed]Speeding up Inference in Statistical Relational Learning by Clustering Similar Query Literals Lily Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-12 18:35:44 Artificial intelligence Bayesian statistics Logic programming Markov logic network Theoretical computer science Inference Probabilistic logic Clause Belief propagation Logic Science Mathematics
43	Inductive Logic Programming Used to Discover Topological Constraints in Protein Structures Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 10:43:25 Protein domains Beta sheet Protein secondary structure Protein structure prediction TIM barrel LSm Leucine-rich repeat Beta barrel Protein structure Biology Chemistry
44	Cut-Based Inductive Invariant Computation Michael Case1,2 1 Alan Mishchenko1 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-28 18:02:46 Formal methods Logic in computer science Electronic design automation Mathematical logic Programming paradigms And-inverter graph Logic programming Model checking Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
45	A Comparative Study on Methods for Reducing Myopia of Hill-Climbing Search in Multirelational Learning Lourdes Pe˜ na Castillo Otto-von-Guericke-University Magdeburg, Germany Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:19:41 Automated theorem proving Logic programming Inductive logic programming PROGOL Unit propagation Clause Macro Rule induction Time complexity Theoretical computer science Computer programming Applied mathematics
46	PDF Document Add to Reading List Source URL: ii.nlm.nih.gov Language: English - Date: 2013-09-15 17:01:44 Biological databases Medical research Bioinformatics Library science Index Medical Subject Headings Inductive logic programming MEDLINE Biomedical text mining Science Knowledge Information science
47	UNIVERSITY OF GRONINGEN Inductive Types in Constructive Languages Peter J. de Bruin Add to Reading List Source URL: www.peterdebruin.net Language: English - Date: 2010-01-10 15:07:06 Mathematical logic Programming idioms Type theory Recursion Theoretical computer science Intuitionistic type theory Initial algebra Mathematical proof Inductive reasoning Mathematics Computer programming Logic
48	ILP 06 ’ 16 International Conference on Inductive Logic Add to Reading List Source URL: ilp06.doc.ic.ac.uk Language: English - Date: 2006-05-17 07:19:45
49	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
50	Computational and algorithmic models of strategies in turn-based games Gerben Bergwerff Institute of Artificial Intelligence, University of Groningen Ben Meijering ([removed]) Institute of Artificial Intelligence Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-24 08:05:26 Reasoning Inductive reasoning Operations research Mathematical optimization Thought Backtracking Logic programming Algorithm Marble Science Knowledge Games

UPDATE